Defeasible reasoning
نویسندگان
چکیده
منابع مشابه
Defeasible Reasoning
What philosophers call defeosible reasoning is roughly the same OS nonmonotonic reasoning in Al. Some brief remarks ore mode about the nature of reasoning and the relationship between work in epistemology, Al, and cognitive psychology. This is followed by a general description of human rotionol architecture. This description has the consequence that defeasible reasoning has o more complicoted s...
متن کاملEfficient defeasible reasoning systems
For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic...
متن کاملDefeasible Reasoning with Quantifiers
Human conditional reasoning is defeasible: people withdraw logically valid conclusions if they are aware of situations (i.e., exceptions) that prevent the consequent of the rule to happen although the antecedent is given. In this paper we investigate defeasible reasoning with quantified rules. In two experiments we rephrased conditionals from the literature (Experiment 1) and rules from penal c...
متن کاملFormalizing Perspectival Defeasible Reasoning
In this paper I will provide a unique formalism for defeasible reasoning that takes into account how an agent activates a perspective in response to a situation in which reasoning using a concept is called for, how each perspective is organized, and how the contents of each activated perspective is related to the contents of other perspectives. I name the proposed structure a perspectival defea...
متن کاملDefeasible reasoning in ORM2
The Object Role Modeling language (ORM2) is one of the main conceptual modeling languages. Recently, a translation has been proposed of a main fragment of ORM2 (ORM2) into the description logic ALCQI, allowing the use of logical instruments in the analysis of ORM schemas. On the other hand, in many ontological domains there is a need for the formalization of defeasible information and of nonmon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Science
سال: 1987
ISSN: 0364-0213
DOI: 10.1016/s0364-0213(87)80017-4